perm filename SUB.GF[X,ALS] blob
sn#810304 filedate 1986-02-14 generic text, type T, neo UTF8
{``⊂"!pxβ`_(j_(j_(j_(j_(j_(j_(j_%`0_↓@i@⊂↓` ⊂&B)PH'A*_(hT ↓εβ↓λβE ∃p↓↔ %`↓T@@↓TP8↓∪`p(↓∪ @_↓@`$h↓A 0λ↓S@(βS08β∪08αS08α∪ 0(β↓@∀p↓@`0λ↓A $xβ@`0_↓T@8αQ(@_
E# `π↓*`_↓@j`⊂α@JP⊂βJ0_β@J0_β@J0_βj _βJ ⊂βJ⊂_α↓
_α@j_βJ_βip_∧@Ip⊂¬@I`_¬@iP_↓@!_&@`0⊂β@iP_↓@`P &@`P@&@@p(&`p &I@⊂%@i "QAλ∧p@TEα∀TxβS`tp↓@@4h↓A4h↓A $h↓A 4`↓A`4`↓α4X↓B4P↓B@4P↓B`$P↓B`$("↓! Pβ@P%αJ ⊂)J ⊂)J ⊂"Q`P¬∧↓⊂(αS 4h↓∪$P↓R@4P↓RA$P↓R@4P↓R`$X↓SDp↓S`T("↓b↓π`h&C P_αA P_αA)P_α@IP_α@IP_α@IP_α@IP_α@IP_α@IP_α@I@ α@I 0α@J` "Q↓hεDa α∪Dh↓S 4x↓∀∃↓∀5↓T4xα∪@Th↓@ 4h↓`4hA $`↓↓ 4P↓A@4P↓α$PB@$("βBa0εA00αA)@⊂α@ _↓@i0⊂β↓ P⊂%`` β@I ⊂∧A⊂λ%! λ∧@) λ¬!⊂λ%A⊂∧@) ⊂∧A⊂λ%`` β@I@⊂α@ _↓@iP⊂↓@@_@iP0αA(T πC↓A0ε@Dx↓∀%↓T 5⊂↓∀@5_↓T`5_↓S!∀h↓@T`↓↓DP↓A@4P↓α$P↓α$P↓α$P↓α$P↓A@4`↓↓$h↓@$hβ⊃(Aλ∧↓P ↓C)@p%A %i _%i _%i &βIPh&C(T λDαhα↓TPπU E0α∃`5@↓⊗%8↓U`50α∩AtPπ∩AT("∧ApxβP8&BIP ↓A @ αA @_β@i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@⊂∧hT Caq0ε@ @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S @↓S08↓S08↓S@(α∪!$p∧∪`t("¬α↓β_¬@I _¬@I _¬@I _¬i0_∧i@_β↓ @h&β)P_α@iP_α@iP_α@IP_α@IP_αi`_↓ip⊂↓ip⊂↓ip⊂↓jλ@j((↓
⊂⊂)(T
C!Q0ε↓TPεU %(↓∃ %(↓∃ %(↓∃ %βTu(↓∃ %(↓∃ %(↓∃ %(↓∃ $PεRATPεQ(A0 Db0Hβ↓iP αA P_βA @ βA)00αAI0_@`@⊂↓I _↓@` ⊂αI ⊂αA `λ% p β) λβA`λ%@P(β) ⊂αA `λ%`0_↓@@⊂%A@P0&↓p(&↓p(&AP '@`0_(↓hT DB X↓A ⊂0S 00↓S @↓∪0@↓RB$P ∩B$`↓B4h↓α$h↓A@4xA@∀("εβap↓=↓p%πHT DB pαα`∃(↓∃@%0↓U`58α∩B$P ∃`E8↓U@50↓∃ %(Q(APλ∧pλαA`λ&A`@⊂&A`0⊂&@`⊂ @i@⊂α↓i@λβ↓)@λβ↓λT
CaqPεβ50↓U@5(α∃E ↓T`E_↓T`5⊂α∩AtPπRAu↓T4PπRAt`β∪ Dh↓S $`↓R`4X↓∩@4P↓Q(A`πCb@Pεj00)↓*0&AI@(%↓I 0&↓)P0(↓J ()AJ`_#Ax%βhT ∞Caq ¬4Pβ∪Thβ∀e⊂αT`e_β∀@Uβ∪ d`αR@dP↓Q`@πRAt("πA Pβ@ P#@@P#@@P"QβphεD p↓B$P↓B$P↓B$P↓A`4X↓A 4`↓↓ 4`↓↓ 4`↓A4h↓↓$h↓@@4h↓@@$h↓@@$h↓@@$pαS`Dxα∀∀("λλT ⊂AA ¬@$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓⊃`@⊂↓∪$("λA P∧β ⊂αI@⊂αI@⊂αI@⊂αI@⊂αI@⊂αI@⊂αIPλα@(T ⊃Dαpβ↓ ↓∪@@⊂α∪!D`π∪↓dp↓A4x↓↓$x↓↓$p↓A4`π∪↓dhε∪@@⊂α∪` ↓⊃(B εC# hα@ λ'↓)`(&Ai@ ↓↓ 0(↓↓ _↓ λ↓I _↓ λ↓I @ λ↓) 0↓ λ&↓iP0&AI`0'@ _'@ & λ↓ ⊂%@@ λ↓ 0λ%` λ↓ 0λ%` λ↓ 0λ%↓⊂λ↓ 0λ%↓@ λ↓I@P&B `0'@ λ"Q∧PxπEA@@βSp_↓S@0(↓∩@⊂ A 4PA⊂ ↓R@⊂ A$PA⊂_↓S (↓T`%⊂↓T 5λ↓∀5↓T$x↓S@0 ↓∪@$h↓@`⊂ S 0_A∀h↓∪ 8↓⊃(B0 Db``∧J0(↓Ip⊂↓↓ pλαipλαipλαip⊂↓j((↓ p αA)`(βiP0β@I@⊂↓@`P_%@@P_αI _αA0⊂%`` @I _β↓i _β↓i@⊂ααiP⊂↓`0 &A@P⊂"Q∧p αα↓@↓R@DX↓S$hS ∀`↓∩@4("
↓⊂H
β!λ(j⊂'@i`_'IP_&@iP⊂&i@⊂&I@⊂&I@⊂&I@_&@IP_&@i`⊂'ip_(J_)(T ∀B!⊃Pε@@∀`↓∪ $h↓S 4p↓∪@4x↓T%↓T5↓T5↓T5↓T5↓∪`4p↓S@$h↓S 4h↓∪$`Q(BP¬αA0_α@)pλ'@) _@@ ⊂&↓)@(&↓) _↓ ⊂'@)pλ'@(T ∃C↓@X↓A $x↓∪`$x↓∩ADPε∩ADx↓∪`$x↓∪`$("@ ¬>@ %↓ @⊂&@)Pλ&@)@⊂%i ⊂%(T ⊗C↓@⊂␈↓DPε⊃(Bp↓@`/@i _"Q¬p`επ!PH↓T`5_↓T@E⊂↓T@%λ↓TE↓T5↓T4xα∪`4x↓∪@4hα∪ 4h↓S 4h↓SD`↓S$X↓R@DP↓R@4P↓Q(Cλ∧α``αAiPP&A0 &↓P %Ap_%@a_%↓↓ %a _%a0⊂%a0⊂%a0⊂%a0⊂%a0⊂%a _%a _%↓↓ %Ap_&`p_&↓P &BI`@'AhT _C↓A0εα$xαT 5⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀ Eβ∀eβ⊃(C⊂λ∧α``αB P`&A (&↓ @(&a⊂⊂&A ⊂&A⊂_+↓
`_*A
0 )@j 'A)` &A P_&@i@ &βI@p&βHT →Dα↓0εa$`εR`@0α∩@@@α∩@0P↓R@0P↓R@0P↓U@E(α∀`dx∧∀@e_β∃@E8↓R@0P↓R@0P↓R@0P↓R@@@α∪↓Th¬S!$("
α↓β↓⊂0)↓j⊂ @j ↓j_↓@j⊂αip_αiP α@iP_βiP_βi@ βi@_β@i0 β@i!%∧ !+j`_+j`_+j`_"QεQλ¬A@⊂εS↓T`↓∪$`↓∪$`↓∪ ⊂βS λ∧S↓T`αA D`↓B4`↓α 5@↓⊗%@↓∃`58↓S@0α∪!Dp¬∪a∧("
B↓β`0'B ` ↓@iP α@iP_&@i@ &`0 &@00&@ H&↓ @ &↓`_&↓` &↓p_&a_&a_&↓` &@``_&A@ &C p@(↓HT ≠Dα↓0εAd`π∃@50↓U E(↓UE_α∀`5_↓T@E⊂↓T Eα∀5↓S`Dx↓S@Dhα∪ 4h↓Q(C@ ∧B``β↓ipP'Aλ&@a⊂&@a⊂&@a⊂&@a⊂'A (α
8(A*8'BIP αA P⊂∧@i@⊂¬@i@_¬i@_¬i@ ∧↓ Ph'αipP"Qπ⊃λ¬A@(βS!$hα`D`α↓ D`↓A`D`↓αD`↓αD`↓αD`↓αD`↓A`D`α↓ Thα`dhεS`p⊂↓⊗%@↓∃`58↓S@0α∪!Dp¬∪a∧("∞@@ ¬` ⊂&Hp(↓I@⊂&HT ≥AA↓@@$`↓⊃`P⊂↓∪$`↓∪ ∀hS ∀`↓∪∀`Q(C`λ∧↓` πJP(*↓
('A)` &↓)@('↓ p()↓*@ *A+⊂"QπP`ε↓`⊂ε∩AD8↓↓DPε∩AD("∂B↓π↓ ⊂&↓)` 'A* (*↓
P(*A*@ )↓)p('↓ @(&HT ∨BA!0ε`d`↓↓$X↓↓@∀P↓A@∀P↓A@∃_T@%α∀4xα∪@4p↓∪ 4h↓∪ ∀hQ`0_↓S 4h↓Q(D ∧B08αB P`&@A⊂&A ⊂%@A@⊂%@A@⊂%`00↓@i ⊂↓@@@⊂↓@I λα `λα) λα `λα) λα `λα) λα `λα) ⊂↓@@@8%`0P%@I0⊂&IP⊂&ChT Dα↓8εA@EαTTxβS` ⊂↓S` ⊂↓S@0⊂↓S @⊂α∪ 0 ↓S 0 α∪@(α∪08↓S08↓S↓T`εRadPαA@TPααDPααDP↓B@4P↓B`$P↓B`$P↓B`$("⊂B!⊂C h&βI@⊂∧A @⊂¬↓ @⊂¬@i@⊂¬@i@⊂¬@i@⊂¬↓ @⊂∧A @⊂∧↓ @h&β)@h&A &A⊂ &A &A0_&A0_&A0_&A &A⊂ &βI@h"Qλ1⊂ ¬aP(¬∪!Thα@`d`αA dXαα DX↓B`4Pαα`4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@@X↓R`0X↓R`@Hα∪@0β∪ @ β∪!Tx¬⊃(D ∧Bph↓αi@h&@`(&@p(&A &A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A0_&A &@p(&@`(&β)@X"QλPxπEaP⊂εS↓T`↓∪$`↓∪$`↓∪$`↓∪$`¬∪↓$`¬∪$`↓∪$`↓∪$`↓∪$`↓∪↓T`εQ(D0πCbph↓β)@h&I@⊂&I@⊂&I@⊂&I@⊂&αI@P&αI@⊂&I@⊂&I@⊂&I@⊂&I@⊂&HT #DB!8εA!$hεS P(α∪P8α∪@H↓S0P↓S0P↓S$`↓∪$`↓∪$`↓↓`t`↓↓`t`↓α`4`↓α`4`↓B@4`↓B@4`ααD`αA dhα@`thε $x∧↓∀("∩α↓C ⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂¬I@p&βI@p&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂&A ⊂"Q ⊂ α¬aP⊂↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓⊃(DPεβαph∧@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@i α↓ 0 ↓↓)@P&AhT %Dα↓8ε@@ P↓∪ @α∪ @↓S 8α∪ (α∪ (↓S α∪ ⊂α∪ λα∪t`βSt`∧∪ ⊂αS _α∪ α∪ (↓S (↓S (α∪ 0α∪ 8↓S 8α∪ @↓Q(D`εC"ph↓I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@X&αhT &E"Q8ε@@ p↓S0h↓S0h↓S@Xα∪@PαS@PαSP@β∪P@β∪P@β∪`8β∪p(βSp(βS λα↓@λ↓S ⊂α@@⊂↓S _∧`4`↓a_↓S β@`4`↓↓p_↓S β@`4`↓↓ P ↓S (α↓ 4`↓↓ @(↓S 8A@4("∪B!⊂C ∧@i@(∧i@(∧i@0β@i@8βi@8βi@⊂A`_&@ α@i@⊂↓@`P_&@0 αi@⊂α↓0_&@P_↓@i@⊂α@`0_&@P ↓i@⊂β` _&@` @i@⊂βAi@⊂∧↓I@⊂∧↓I@⊂∧↓I@⊂∧A)@⊂¬↓ @⊂¬@hT 'DB!8εA@dhε∪ @ α∪@0α∩`@@α∩`0P↓R@@Pα∩@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@@Pα∩`0P↓R`@@α∪@0α∪ @ α∪!Eβ⊃(Eλ∧αph↓αi@h&@p &A &A⊂_&A ⊂&A ⊂&A ⊂&A ⊂&A⊂_&A &@p &β)@X&I@⊂&I@⊂&I@⊂&I@⊂&HT (DB!PεA@dhε∪ @ α∪@0α∩`@@α∩`0P↓R@@Pα∩@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@@Pα∩`0P↓R`@@α∪@0α∪ @ α∪!EβUE(αU@D("∀B↓C X&β)@⊂βA @⊂∧↓ @⊂∧@i@⊂¬I@⊂¬I@⊂¬I@⊂¬I@⊂∧@i@⊂∧↓ @⊂βA @h&αi@⊂↓A)@⊂α↓ @⊂αA @⊂βi@⊂β@i@⊂∧i@⊂∧i@⊂∧↓ @⊂¬HT )Caq8εA T`¬R`@(α∩@@8α∩@0H↓R@0H↓R@0H↓R@4P↓R@D`∧∪!∧h¬∀`e(α∃@50↓U@4P↓B 4Pα↓`DXα↓ D`¬S`T("∃↓pxC x%βj_(j_(j_(j_(j_(j_(j_(j_(j_(j_(j_"Q
Q⊂ ¬aP⊂↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓α`4`↓B@4`ααD`αA@T`λ∪!T("∃B1_C _πI _ε@i _ε@i ¬A ¬A 0_¬@i0 ¬i@ ∧↓ P_∧iP_βA P αA P αA P αA ` αip_αip ↓↓ p ↓↓
_↓j_↓j8(A*⊂()↓λT +Fβ↓8ε@0@↓α4P↓B @↓R@0@↓α4P↓B @↓R@08α↓`4P↓A`@8↓R@@(β↓ DX↓A `(↓S (β↓ $`↓↓ `(↓∪0_∧↓$`↓@` ↓↓$`α@ ↓`4h↓@@ ↓@4h↓@@ ↓@4h↓@@ ↓@4h↓@@ ↓@4h↓@@ ↓@4h↓@@ ↓@4hβAtpαA@TpαA@Txα↓@D("⊗↓pxC _∧@i _∧@i _∧@i βA @_α@iP⊂α@IP_↓@iPH'↓ip((j_'A)PH&A⊂ &@`0_&`P_%@`p_%↓p %a⊂_%a⊂_%a⊂_%a⊂_"Q⊂xπEaP↓B 4P↓B 4P↓B 4P↓B 4Pα↓`DX↓A`4Xα↓ D`α`Dh↓@`4hα Dh∧S@tpβS`U↓T5↓T5↓T5↓T5↓Q(EPεC"phβ) h)A
0 )@j0_)↓
((↓
'A p_'↓ P &@iP_&↓ 0 %↓) %↓ h%β(T -B!⊃hε@@t`βS$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`βSt("↔↓@`∞C _%i _%↓ 0_&I@_&↓ P_&@iP_&@iP 'ip⊂'@ip (j_(j_(↓
⊂_)J _)↓
0_)@j0_"QPH∧G!P⊂βSu↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓St`βQ(EpπCb``βip('↓iPH&@ _↓I0⊂↓@`0⊂%`0_↓@j_(j_(j_(j_(j_(j_(j_(j_"Qq⊂ β@@0S`$p↓∪ 4`↓R`DP ∩B$Xα∪4h↓S@$x↓∀∀("_`0∧β &↓ @⊂&)@λ&)@⊂&@hT 0C↓Aβ`d`∧∩`@⊂α∩@@ α∩@00↓T`5_↓S↓$Xα@TPα↓DP↓A@4P↓A@4P↓A DPε∩a4`α@@4("_APhβ_%i _%i _%i _%` (%`⊂8%β αA _β@i _β@i _∧I _∧I _∧I _β@i _β@i αA `%αi _↓↓(T 1C↓@pα`t`¬∩`@_α∩@@(↓R@4P↓R@4P↓R@4P↓R@@(↓R`@_α∪↓$hβQ(F εC"``¬@JP⊂*@JP⊂*@JP⊂*@IP0↓IP8@I@X%↓P %`p_%`p_%a⊂%a⊂%a⊂%`p_%`p_%↓P &αiPP&A@ ⊂"QPhεC@@_βS↓$Xα`DPα↓ DP↓A`4P↓A`4PεRATP↓R@4Pα↓`$Xα↓ 4`¬S t("→A Pβ` 'A)` &A P_&@iP_%αI P%αIP_&@iP_&@iP_&@iP_&@iP_&@iP_&@hT 3C!Q βa$`∧R`@⊂α∩@@ α∩@00↓R@00↓R@@ α∪↓∧hβ∪ dPα∩`4`∧∩`0 α∩` 0↓R@00α∩@@0↓R`@(↓∪@_↓S t("~↓Phβ ⊂&I@⊂&I@⊂&I@⊂&@ &@⊂0&αI@ ↓A @_α@i@_α@i@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@HT 4AA0ε@$`↓⊃`P⊂↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓⊃(FPβ↓C `↓@iP_#A0_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@i@ %A %hT 5C↓A0ε4P↓R@4P↓R@4P↓R@00↓R@0(α∩@0 α∩@0_α∩@0⊂α∩@0λα∩A∧P∧RA∀Pα@4P↓A4P↓A 4P↓A DP↓A@4P↓A@4P↓A@4("≠@ C ⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂"Q
Q_ D`⊂↓@0(↓∪↓⊂β∪P⊂α@`∀`α`@ ↓∪0 ↓A $`↓↓ 0(↓∪ (↓A $`↓↓ 0(↓∪ (↓A $`↓↓ 0(↓∪ (↓A $`↓↓ 0(↓∪ (↓A $`↓↓ 0(↓∪ (↓A $`↓↓ 0(↓⊃(FpεC"0↓@ &αI@(A @ ↓A @_α@i@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@I@⊂β@HT 7C!QλβA D`¬∪@λαR`@_α∩@@(α∩@08↓R@08↓R@0@↓∩@0@↓∩@0@↓∩@08↓R@08↓R@@(α∩`@_α∪@λαS↓$xα⊃(GπCb@ ↓@ 0&αi@(↓A @ αA @_β@i@⊂∧i@⊂∧i@⊂∧i@⊂∧i@_β@i@ αA @(↓A @X&@ 0&I@⊂&I@⊂&I@⊂"Q∞⊂hεE@_β@$`¬R`@_αR@@(α∩@08↓R@0@↓∩@0@↓∩@0@↓∩@0@↓∩@08↓R@@(α∩`@_αS↓4hβ@%(↓∃ %(↓∃ %(↓∃ $("≤A Pπ↓ ⊂αI@_A @8&↓i@(&↓ @ &i@⊂&I@⊂&I@⊂&HT 9C!QλβA D`¬∩`@_α∩@@(α∩@0@↓∩@4Pα∪↓∧h∧∪!∃_α∃4P↓A`4Pα↓ DXα`D`¬∪`D("≥↓⊂Hβ0_&@iP_&@iP_&↓) H%α)@(&@iP_&@iP_&@iP_&@iP_&@iP_&A ` 'AλT :C!Ppα0@↓∩@0@↓∩@0@↓∩@0@↓∩@0@↓∩@0@↓∩@0@↓∩@0@↓∩@0@↓∩@08↓R@@(α∩`@_α∪↓$hβQ(G0εC!` a⊂%a⊂%a⊂%`p_%@`P_&@P_&`@_&@` _&AiP8'↓)p 'A
λ"Q∞q_ C@@↓C@$P↓A@⊂0↓R@00A@4Pα↓ α∩`@_α`4`↓@`@_↓S@⊂α@D`α@ @λαS!dhπ∪ `⊂αS@@ ↓S@@ ↓S` (↓Q(G@εC!` ↓P &`@_&@@@⊂&@` _&Ai`('↓)`('↓)P8&@` _&@@@⊂&`@_%↓P "Q∂⊂xπE@↓B 4P↓B 4P↓B 4Pα↓`DXα↓ D`↓A 4`α`Dhα Dh∧S!∀xβ∀Eα∀5↓S`Dpα∪@4hα∪D("≡APhπ↓h%β*⊂((A* (ip &A P_&↓ (%↓) h%β(T =B!⊃hεA Dh↓S $`↓S4`↓SDh↓S 4h↓S ∀8@@∀X↓∩`$P↓S∀8@`∀h↓S 4h↓SD`↓S4`↓S $h↓S`D("∨@ ∞C ⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂"Q∂Qλ↓`(α↓@∀hβA$hβ@`$h↓@ @λ↓S βS⊂0αS⊂0α⊃(Gp¬αCPh↓↓ p⊂(J_(j_'A p_'@Ip⊂((pλ∧* ⊂)J ⊂)(pλβ)p⊂'@Ip_'A
_(j_(Ip⊂&↓λ←@βS_(↓∧jp↓∧jp↓x␈␈␈␈λh{" β<β@O0↓ε`P4
@∂}`_↓∀∩@G=@A_↓j,@∂H{↓!Pα@Wp&O0ββ (↓/`R>`8 @u⊂dλ8=A↓↓E,_~H{βC⊂∧hZ <O0πC`(d¬`↓∞}a @u⊂d⊂A=B⊃_↓j,@*_{∧B β<β@XO0 D@0xπ↓G}a @u⊂d_<=BQ↓E,_<X{¬B`∧≡YP␈o0E @λ α_}a@∂↓9↔@ H=C⊃(αβαλIX{εB0βTY↓↔o0
D@0xπα8}a` o∞(∂=CQ⊂↓↑↓`T8{πAPα@Wp↓.∂0∂D0∃0`α`>bεJ (b=D⊂Hop\X{λAPα@Wp↓>O0⊃D`8)2βε}b λbPa@0'=DQ⊂↓↑↓`lh{ B`∧≡YP↓d/0∪A`⊂Y- β`>b@εJ 8L=E⊂`↓∀↓⊂⎇_{
APα@Wpα↓o0∃C`(d¬`∧}b`β@+⊂Z@@(=EPx↓9↓8↓εX{@`↓∀↓⊂α∞o0↔C`(d¬`∧ >c @u⊂d@a=F⊃_↓j,@↓⊃8{B0βTYα)/0→D`8)2∧a}c @u⊂dHf=FQ_↓j,@↓!({
B0βTYαJO0≠D`8)2¬(}c@ @u⊂dPk=G⊃_↓j,@↓2λ{∞@p↓,VPαmO0≥A`⊂Y- ¬←}c` @u⊂dXO=GPx↓9↓8↓<λ{∂B0βTYαzO0∨C (↓/`¬⎇}d
@↓↓@⊂@`↔=H⊃_↓j,@↓HX{⊂BP∧ε∧⊂β≤∂0!E @λ εM>d
@↓↓@⊂@h?=HQ⊂↓↑↓`↓]H{⊃B β<β@βAo0#E @λ π⊂}d@ @u⊂dpL=I⊂8V+(↓o({∩Apαrαpβe/0%D`8)2πX}d`λbPa@x←=IQ@α(α(↓␈_{∪BP∧ε∧⊂∧∞∂0'E @λ λ9}e @u⊂d↓λ!=J⊃(αβαλα_X{∀B0βTY∧=O0)D@0xπ ⊃}e o∞↓⊂F=JQ(αβαλα,λ{∃B`∧≡YP∧d∂0+F`P4
@ ↑}e@ o∞↓
=K⊃⊂↓↑↓`αFH{⊗Bβ
X0¬⊗/0-C P∧@
9}e`π@\@@↓(∀=KP`↓∀↓⊂αVH{↔B β<β@¬5/0/E @λ
z>f∧@7@π↓0ε=L⊂x↓9↓8αb_{_Bβ
X0¬KO01C`(d¬`)}f λbPa@↓0i=LQ↓E,_αqh{→APα@Wp¬iO03D0∃0`←}f@λbPa@↓8b=M⊂8V+(β↓_{~A⊂↓↑↓`επo05C`(d¬`≤}f`β@+⊂Z@↓@`=MQ0α∂,hβ∂({≠Bβ
X0ε+/07D0∃0`g}g o∞↓Hq=N⊃⊂↓↑↓`β"H{≤APα@WpεN∂09D0∃0`
%}g εJ ↓Pf=NQ↓E,_β/x{≥Bβ
X0εg/0;E@@=3
[>g@λbPa@↓X[=O⊃⊂↓↑↓`β>H{≡Bβ
X0π¬∂0=C P∧@∞∩}g`β@+⊂Z@↓`F=OQ_↓j,@βLh{∨APα@Wpπ≡/HβS_Aw{⎇xow{⎇x